Georg Gottlob: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A general Datalog-based framework for tractable query answering over ontologies

Andrea Calì, Georg Gottlob, Thomas Lukasiewicz

Journal:

Web Semantics: Science, Services and Agents on the World Wide Web

Year:

2012

Language:

english

File:

PDF, 588 KB

english, 2012

2

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications

Calì, Andrea, Gottlob, Georg, Lukasiewicz, Thomas, Marnette, Bruno, Pieris, Andreas

Year:

2010

Language:

english

File:

PDF, 421 KB

english, 2010

3

Vadalog: A modern architecture for automated reasoning with large knowledge graphs

Bellomarini, Luigi, Benedetto, Davide, Gottlob, Georg, Sallinger, Emanuel

Journal:

Information Systems

Year:

2020

File:

PDF, 1002 KB

2020

4

Identifying the Minimal Transversals of a Hypergraph and Related Problems

Eiter, Thomas, Gottlob, Georg

Journal:

SIAM Journal on Computing

Year:

1995

Language:

english

File:

PDF, 3.70 MB

english, 1995

5

Query answering under probabilistic uncertainty in Datalog+ / − ontologies

Gottlob, Georg, Lukasiewicz, Thomas, Martinez, Maria Vanina, Simari, Gerardo I.

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2013

Language:

english

File:

PDF, 1.64 MB

english, 2013

6

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || The even more liberalized δ-rule in free variable Semantic Tableaux

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 513 KB

english, 1993

7

Multiple Shooting Method for Initial Satellite Orbit Determination

Lenz, Simon M., Bock, H. Georg, Schlöder, Johannes P., Kostina, Ekaterina A., Gienger, Gottlob, Ziegler, Gerald

Journal:

Journal of Guidance Control and Dynamics

Year:

2010

Language:

english

File:

PDF, 2.38 MB

english, 2010

8

Expressive Languages for Querying the Semantic Web

Arenas, Marcelo, Gottlob, Georg, Pieris, Andreas

Journal:

ACM Transactions on Database Systems

Year:

2018

Language:

english

File:

PDF, 806 KB

english, 2018

9

An efficient method for eliminating varying predicates from a circumscription

Marco Cadoli, Thomas Eiter, Georg Gottlob

Journal:

Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 641 KB

english, 1992

10

[Lecture Notes in Computer Science] SOFSEM 2012: Theory and Practice of Computer Science Volume 7147 || Cryptography from Learning Parity with Noise

Bieliková, Mária, Friedrich, Gerhard, Gottlob, Georg, Katzenbeisser, Stefan, Turán, György

Year:

2012

Language:

english

File:

PDF, 293 KB

english, 2012

11

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 1289 || Ultrafilter logic and generic reasoning

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1997

Language:

english

File:

PDF, 1.41 MB

english, 1997

12

[Lecture Notes in Computer Science] Rule Technologies: Foundations, Tools, and Applications Volume 9202 || Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning

Bassiliades, Nick, Gottlob, Georg, Sadri, Fariba, Paschke, Adrian, Roman, Dumitru

Year:

2015

Language:

english

File:

PDF, 489 KB

english, 2015

13

[Lecture Notes in Computer Science] Advances in Databases and Information Systems Volume 3255 || An Abstract Algebra for Knowledge Discovery in Databases

Benczúr, András, Demetrovics, János, Gottlob, Georg

Year:

2004

Language:

english

File:

PDF, 226 KB

english, 2004

14

Bounded treewidth as a key to tractability of knowledge representation and reasoning

Georg Gottlob, Reinhard Pichler, Fang Wei

Journal:

Artificial Intelligence

Year:

2010

Language:

english

File:

PDF, 538 KB

english, 2010

15

Semantics and complexity of abduction from default theories

Thomas Eiter, Georg Gottlob, Nicola Leone

Journal:

Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 3.38 MB

english, 1997

16

On the complexity of single-rule datalog queries

Georg Gottlob, Christos Papadimitriou

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 197 KB

english, 2003

17

[Lecture Notes in Computer Science] Rule Technologies: Foundations, Tools, and Applications Volume 9202 || A Brief Overview of Rule Learning

Bassiliades, Nick, Gottlob, Georg, Sadri, Fariba, Paschke, Adrian, Roman, Dumitru

Year:

2015

Language:

english

File:

PDF, 229 KB

english, 2015

18

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || Committed-choice concurrent logic programming in linear logic

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 611 KB

english, 1993

19

On minimal constraint networks

Journal:

Artificial Intelligence

Year:

2012

Language:

english

File:

PDF, 459 KB

english, 2012

20

Tractable database design and datalog abduction through bounded treewidth

Georg Gottlob, Reinhard Pichler, Fang Wei

Journal:

Information Systems

Year:

2010

Language:

english

File:

PDF, 560 KB

english, 2010

21

Propositional circumscription and extended closed-world reasoning are ΠP2-complete: Theoretical computer science 114(2) (21 June 1993) 231–245

Thomas Eiter, Georg Gottlob

Journal:

Theoretical Computer Science

Year:

1993

File:

PDF, 34 KB

1993

22

Disjunctive datalog

Eiter, Thomas, Gottlob, Georg, Mannila, Heikki

Journal:

ACM Transactions on Database Systems

Year:

1997

Language:

english

File:

PDF, 631 KB

english, 1997

23

[Lecture Notes in Computer Science] SOFSEM 2012: Theory and Practice of Computer Science Volume 7147 || What Is an Algorithm?

Bieliková, Mária, Friedrich, Gerhard, Gottlob, Georg, Katzenbeisser, Stefan, Turán, György

Year:

2012

Language:

english

File:

PDF, 173 KB

english, 2012

24

A comparison of structural CSP decomposition methods

Georg Gottlob, Nicola Leone, Francesco Scarcello

Journal:

Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 442 KB

english, 2000

25

Query Rewriting and Optimization for Ontological Databases

Gottlob, Georg, Orsi, Giorgio, Pieris, Andreas

Journal:

ACM Transactions on Database Systems

Year:

2014

Language:

english

File:

PDF, 778 KB

english, 2014

26

Fixed-parameter complexity in AI and nonmonotonic reasoning

Georg Gottlob, Francesco Scarcello, Martha Sideri

Journal:

Artificial Intelligence

Year:

2002

Language:

english

File:

PDF, 291 KB

english, 2002

27

OXPath: A language for scalable data extraction, automation, and crawling on the deep web

Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Sellers

Journal:

The VLDB Journal

Year:

2013

Language:

english

File:

PDF, 2.63 MB

english, 2013

28

The price of query rewriting in ontology-based data access

Gottlob, Georg, Kikot, Stanislav, Kontchakov, Roman, Podolskii, Vladimir, Schwentick, Thomas, Zakharyaschev, Michael

Journal:

Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 514 KB

english, 2014

29

Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic

Gottlob, Georg, Malizia, Enrico

Journal:

SIAM Journal on Computing

Year:

2018

Language:

english

File:

PDF, 697 KB

english, 2018

30

On the complexity of propositional knowledge base revision, updates, and counterfactuals

Thomas Eiter, Georg Gottlob

Journal:

Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 2.36 MB

english, 1992

31

Towards more expressive ontology languages: The query answering problem

Cali`, Andrea, Gottlob, Georg, Pieris, Andreas

Journal:

Artificial Intelligence

Year:

2012

Language:

english

File:

PDF, 885 KB

english, 2012

32

The complexity of logic-based abduction

Eiter, Thomas, Gottlob, Georg

Journal:

Journal of the ACM

Year:

1995

Language:

english

File:

PDF, 2.88 MB

english, 1995

33

Removing redundancy from a clause

Georg Gottlob, Christian G. Fermüller

Journal:

Artificial Intelligence

Year:

1993

Language:

english

File:

PDF, 1.44 MB

english, 1993

34

Cumulative default logic: Finite characterization, algorithms, and complexity

Georg Gottlob, Mingyi Zhang

Journal:

Artificial Intelligence

Year:

1994

Language:

english

File:

PDF, 959 KB

english, 1994

35

On the complexity of some inductive logic programming problems

Georg Gottlob, Nicola Leone, Francesco Scarcello

Journal:

New Generation Computing

Year:

1999

Language:

english

File:

PDF, 1.23 MB

english, 1999

36

Enhancing model checking in verification by AI techniques

Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 421 KB

english, 1999

37

The DLV system for knowledge representation and reasoning

Leone, Nicola, Pfeifer, Gerald, Faber, Wolfgang, Eiter, Thomas, Gottlob, Georg, Perri, Simona, Scarcello, Francesco

Journal:

ACM Transactions on Computational Logic

Year:

2006

Language:

english

File:

PDF, 844 KB

english, 2006

38

Complexity Results for Nonmonotonic Logics

Journal:

Journal of Logic and Computation

Year:

1992

Language:

english

File:

PDF, 1.47 MB

english, 1992

39

[IEEE 2019 IEEE 35th International Conference on Data Engineering (ICDE) - Macao, Macao (2019.4.8-2019.4.11)] 2019 IEEE 35th International Conference on Data Engineering (ICDE) - Knowledge Graphs and Enterprise AI: The Promise of an Enabling Technology

Bellomarini, Luigi, Fakhoury, Daniele, Gottlob, Georg, Sallinger, Emanuel

Year:

2019

Language:

english

File:

PDF, 49 KB

english, 2019

40

[IEEE 2019 IEEE 35th International Conference on Data Engineering (ICDE) - Macao, Macao (2019.4.8-2019.4.11)] 2019 IEEE 35th International Conference on Data Engineering (ICDE) - Knowledge Graphs and Enterprise AI: The Promise of an Enabling Technology

Bellomarini, Luigi, Fakhoury, Daniele, Gottlob, Georg, Sallinger, Emanuel

Year:

2019

File:

PDF, 49 KB

2019

41

[Lecture Notes in Computer Science] Big Data Volume 7968 || Querying Big Social Data

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 272 KB

english, 2013

42

Scalable web data extraction for online market intelligence

Baumgartner, Robert, Gottlob, Georg, Herzog, Marcus

Journal:

Proceedings of the VLDB Endowment

Year:

2009

Language:

english

File:

PDF, 1.45 MB

english, 2009

43

[Lecture Notes in Computer Science] Rule Technologies: Foundations, Tools, and Applications Volume 9202 || Existential Rules and Bayesian Networks for Probabilistic Ontological Data Exchange

Bassiliades, Nick, Gottlob, Georg, Sadri, Fariba, Paschke, Adrian, Roman, Dumitru

Year:

2015

Language:

english

File:

PDF, 751 KB

english, 2015

44

[Lecture Notes in Computer Science] Rule Technologies: Foundations, Tools, and Applications Volume 9202 || Constraint Handling Rules - What Else?

Bassiliades, Nick, Gottlob, Georg, Sadri, Fariba, Paschke, Adrian, Roman, Dumitru

Year:

2015

Language:

english

File:

PDF, 269 KB

english, 2015

45

[Lecture Notes in Computer Science] Advances in Databases and Information Systems Volume 3255 || Towards Quadtree-Based Moving Objects Databases

Benczúr, András, Demetrovics, János, Gottlob, Georg

Year:

2004

Language:

english

File:

PDF, 174 KB

english, 2004

46

[Lecture Notes in Computer Science] Advances in Databases and Information Systems Volume 3255 || Triggering Replanning in an Integrated Workflow Planning and Enactment System

Benczúr, András, Demetrovics, János, Gottlob, Georg

Year:

2004

Language:

english

File:

PDF, 191 KB

english, 2004

47

Approximating the Stable Model Semantics is Hard

Gottlob, Georg, TruszczyÅski, MirosÅaw

Journal:

Fundamenta Informaticae

Year:

1996

File:

PDF, 358 KB

1996

48

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 1289 || Resolution, inverse method and the sequent calculus

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1997

Language:

english

File:

PDF, 1.06 MB

english, 1997

49

[ACM Press the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium - Chicago, IL, USA (2006.06.26-2006.06.28)] Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '06 - Data exchange

Gottlob, Georg, Nash, Alan

Year:

2006

Language:

english

File:

PDF, 191 KB

english, 2006

50

Decomposing combinatorial auctions and set packing problems

Gottlob, Georg, Greco, Gianluigi

Journal:

Journal of the ACM

Year:

2013

Language:

english

File:

PDF, 1.36 MB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски